prime(a) == a = 0 & (a ~ 1) & (b, c:. a | bc  a | b  a | c) 

latex

---

clarification:

prime(a) == a = 0   & (a ~ 1) & (b:, c:. a | bc  a | b  a | c) 

latex

Definitions	P & Q, A, a ~ b, x:A. B(x), P  Q, P  Q, b | a
FDL editor aliases	prime